Formalising a model of the #lambda#-calculus in HOL-ST

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--354) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Formalizing basic number theory

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(no 502) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Higher-order unification, polymorphism, and subsorts

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--210) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Action selection methods using reinforcement learning

Submitted for a Ph.D. degreeAvailable from British Library Document Supply Centre-DSC:8723.249(426) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

Nomadic #pi#-calculi Expressing and verifying communication infrastructure for mobile computation

A published dissertation for the degree of Ph.D. submitted on 5th March 2001Available from British Library Document Supply Centre-DSC:8723.247(no 514) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

Strategy generation and evaluation for Meta-Game Playing

Submitted for a Ph.D. ThesisSIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--315) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Linking ACL2 and Hol

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(476) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Planning multisentential English text using communicative acts

A dissertation submitted for the degree of Doctor of PhilosophyAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--239) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

Applied #pi# A brief tutorial

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(no 498) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Set theory for verification II. induction for recursion

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--312) / BLDSC - British Library Document Supply CentreGBUnited Kingdo